[Docs] Add reference and short description for Paver #2831
Merged
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Motivation
In the developer-guide Paver is very briefly mentioned.
The purpose of this change is to expand a little bit more the text to provide context and help the potential contributors find their way.
Summary of changes
A URL reference and a short description for what is Paver were added to the developer-guide.
Closes #2834
Pull Request Checklist
changelog.d/
(See documentation for details)
Sorry for deviating a little bit of the procedure in the PR docs. These are the reasons behind it:
Please let me know if I could improve this PR or do things differently.